Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
008733 | Serge Autexier [Allemagne] ; Dieter Hutter [Allemagne] ; Till Mossakowski [Allemagne] ; Axel Schairer [Allemagne] | The Development Graph Manager Maya |
008760 | Axel Schairer [Allemagne] ; Dieter Hutter [Allemagne] | Proof Transformations for Evolutionary Formal Software Development |
This area was generated with Dilib version V0.6.33. |